The article describes a new method for the recognition of different types of total and partial symmetry in boolean functions based on the numeric set-theoretical differentiation. The proposed algorithm is based on the ...

A new minimization method of the logic functions system of n variables in polynomial set-theoretical format is considered. The method is based on the splitting procedure of minterms system and on the generalizing the ...

A new minimization method of the variables number in complete and incomplete logic functions, based on the procedure of conjuncterms splitting is proposed. The advantages of the proposed method are illustrated by examples ...

A generalized simplify rules of conjuncterms in polynomial set-theoretical format is considered. These rules are based on the proposed theorems for different initial transform condition of pair conjuncterms where hamming ...